Modeling, Scheduling, and Prediction in Wafer Fabrication Systems Using Queueing Petri Net and Genetic Algorithm
نویسندگان
چکیده
-Wafer fabrication is one of the most competitive manufacturing business in the world. In order to survive from such strongly competitive environment, finding an effective schedule which can result in higher machine utilization and throughput rate, shorter cycle time, and lower WIP (Work-In-Product) inventory becomes a major task. Besides that, in order to help customers to make ordering decisions as well as to let the manager control the processing conditions of the fab, we need to predict some pcrformance measures efficiently. In this paper, we propose a modeling tool named Queueing-Petri Net (Q-PN) which combines the characteristics of Queueing Theory and Petri Net. It can be used to model various detail of the manufacturing system a well as to get its performance evaluation very efficiently. Then, a general Q P N model is presented to simulate the semiconductor manufacturing system. Based on this model, we propose a Genetic Algorithm (CA) based scheduler and an analysis -based predictor. In the CA scheduler, the chromosome represents a combination of scheduling policies, including lot release policies, machine selection rules, dispatch rules and batch rules. So, when the CA finishes its optimization process, an optimal scheduling policy is produced. As for the predictor, because it inherits the analytical property of Queueing Theory from the Q-PN model, we can use it to predict those performance measures efficiently such as the exact due date of some particular lot.
منابع مشابه
Modeling, Scheduling, and Prediction for Wafer Fabrication: Queueing Colored Petri-Net and GA Based Approach
In this paper, we propose a modeling tool named QCPN (Queueing Colored Petri Net). The main idea of this tool is to combine the original CTPN (Colored Timed Petri Net) with the queueing systems. With QCPN model, we can predict the delivery date of any specific product under some scheduling policies eflcientfy and rather precisely. In the scheduling phase. we use the GA based approach to search,...
متن کاملPetri-Net and GA Based Approach to Modeling, Scheduling, and Performance Evaluation for Wafer Fabrication
In this paper, a genetic algorithm (GA) embedded search strategy over a colored timed Petri net (CTPN) for wafer fabrication is proposed. Through the CTPN model, all possible behaviors of the wafer manufacturing systems such as WIP status and machine status can be completely tracked down by the reachability graph of the net. The chromosome representation of the search nodes in GA is constructed...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModeling and Scheduling Design for a Class of Queuing Systems by means of timed Petri Nets and Max-Plus Algebra
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Placetransitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to queuing systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets, where now the timing at which the st...
متن کامل